semiminimum condition

半极小条件